
set args --POSIX_SIGNALS
source gdb_auto.py
